COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.COMMENT HOW! 2
C00005 00004	.COMMENT 3 categories
C00007 00005	.COMMENT Initial Dialogue
C00009 00006	.COMMENT M/M/M Dialogue
C00012 ENDMK
C⊗;
.DEVICE XGP
.!XGPCOMMANDS←"/TMAR=50/PMAR=2100/BMAR=50"

.FONT 1 "BASB30"
.FONT 2 "BDR66"
.FONT 4  "BDI40"
.FONT 7  "BDR40"
.FONT 8 "NGB25"
.FONT 9 "GRFX35"
.TURN ON "↑α[]↓_π{"
.TURN ON "⊗" FOR "%"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.PAGE FRAME 54 HIGH 91 WIDE
.AREA TEXT LINES 1 TO 53
.DOUBLE SPACE
.PREFACE 2
.NOFILL
.PREFACE 1
.!XGPLFTMAR←100
.MACRO B ⊂ BEGIN NOFILL SELECT 9 INDENT 0 GROUP PREFACE 0 MILLS TURN OFF "{↑↓}[]α" ⊃
.MACRO E ⊂ APART END ⊃
.NEXT PAGE
.INDENT 0
.SELECT 1
.ONCE CENTER
.COMMENT HOW! 2;

.BEGIN SELECT 4 INDENT 2
.GROUP SKIP 7

.ONCE CENTER SELECT 2
↓_HOW:_↓  ⊗7(???)⊗*





1) To attain wide competence:
⊗7      Each Being contains almost-disjoint data.
      Each Being has a complex, sophisticated structure.⊗*




2) To permit easy communication:
⊗7      The Beings' knowledge overlaps slightly.
      Each Being has the same anatomy, albeit complex.⊗*

.END
.SKIP TO COLUMN 1
.COMMENT 3 categories;

.SINGLE SPACE
.PREFACE 0
.BEGIN SELECT 4 INDENT 2
.GROUP SKIP 2

.ONCE CENTER SELECT 2
↓_CATEGORIES OF BEING PARTS_↓



Parts used in deciding who gets control
⊗7	  IDEN
	WHEN
	RESULTS
	COMPLEXITY
	STRUCTURE
	ENCODABLE
	EFFECTS⊗*

Parts used when the Being gets control
⊗7	  ARGS
	ARG-CHECK
	EVAL-ARGS
	REQUISITES
	DEMONS
	INHIBIT-DEMONS
	COMMENTS
	META-CODE⊗*

Parts used to orient User and other Beings
⊗7	  WHAT
	WHY
	HOW
	AFFECTS
	GENERALIZATIONS
	SPECIALIZATIONS
	ALTERNATIVES⊗*
.END
.SKIP TO COLUMN 1
.COMMENT Initial Dialogue;

.BEGIN SELECT 7 INDENT 2
.GROUP SKIP 10

.ONCE CENTER SELECT 2
↓_BEGINNING OF DIALOGUE_↓


PUP: I want any task.

⊗4USER: Write a program which does concept formation⊗*

PUP: I am about to write a program for the task: 
    	   ⊗1specialized kind of CONCEPT-FORMATION⊗*. 

PUP: Give me a proper name for this program. 
		(I suggest CF or CONCEPT)

⊗4USER: CF⊗*

PUP: Must CF mimic different human subjects? 

⊗4USER: No⊗*

PUP: I am temporarily replacing the task 
	"⊗1specialized kind of CONCEPT-FORMATION⊗*" 
	by the simpler task:
	"⊗1specialized kind of PARTITION-A-DOMAIN⊗*".
.END
.SKIP TO COLUMN 1
.COMMENT M/M/M Dialogue;
.BEGIN SELECT 7 INDENT 2
.ONCE CENTER SELECT 2
↓_MUST/MUSTNOT/MAY DIALOGUE_↓

.INDENT 0,3,0
PUP: How do we know when to terminate this loop?

⊗4USER: Terminate iff any feature in model-features 
	is incompatible with scene-features⊗*

PUP: PUP wants USER to type in name for specialized version of CONTRADIC

⊗4USER: Call it IMPOSS⊗*

PUP: Move cursor to IMPOSS type of CONTRADICTS. 
	I can no longer defer this decision: 
A: Contradic. arises from features having probability=1 of occurring.
B: Contradic. arises from features having probability=0 of occurring.
C: Contradiction from features having probability>0&<1 of occurring.
Please type some of: A,B,C; or type: Defer, ?, or Details.

⊗4USER: A, B, and C are all relevant.⊗*

PUP: I recommend that each model's features be structured 
	(along 1 dimension) into these 3 pieces:
PRESENT: for features having probability=1 of occurring.
ABSENT:  for features having probability=0 of occurring.
EITHER:  for features with probability other than 0 or 1.
Please type back YES, NO, UNSURE, DETAILS, and/or 3 new names.

⊗4USER: Yes.   Call them MUST-BE-PRESENT, 
	MUSTNOT-BE-PRESENT, MAY-BE-PRESENT.⊗*

PUP: Too long. Nicknamed Must, Mustnot, May.

PUP: Located 3 references to model's features in code generated so far.
	In each case, the reference has been replaced by 
	"(APPEND Must Mustnot May)".
.END
.SKIP TO COLUMN 1